This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lee masThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Lee masThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Lee masThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Lee masThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
Lee masThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
Lee masDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lee masIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Lee masFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lee masThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
Lee masThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lee masThis book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
Lee masThis book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...
Lee masThis book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...
Lee masThis book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ...
Lee mas